if (window.addEventListener) {
  window.addEventListener('load', myFunction);
  } else if (window.attachEvent) {
  window.attachEvent('onload', myFunction); 
  };
function myFunction() {
  document.getElementById('nine').innerHTML = 'cryptonym<br>dystrophy<br>gypsywort<br>lynchings<br>lynchpins<br>polyptych<br>schmaltzy<br>skylights<br>sprightly<br>strengths<br>stylishly<br>synchrony<br>triptychs<br>twelfthly';}